/**
 * A DrawingListener can get notified of changes to a Drawing.
 * 
 * @author Matthias.Hauswirth@usi.ch
 */

package ch.usi.inf.pf2.gui;

public interface DrawingListener {

    public void drawingChanged();

}
